extern void print();